В данной работе исследуются взаимосвязи между последними эпизодами потребления алкоголя как показателя рискованности поведения и социально- демографическими и психологическими характеристиками респондента. Для этого строится регрессионная модель с интервалом между интервью и последним эпизодом поведения в качестве зависимой переменной. Рассмотрены критерии качества для регрессионных моделей.
Модели поведения пользователей -- одно из основных направлений исследований в области улучшения интернет-поиска; такие модели обычно основаны на графических вероятностных моделях и обучаются из логов пользовательских действий (click logs). В работе вводится новая модель поведения пользователей -- SCM (session click model, клик-модель сессии). Мы показываем, что новая модель проще для вывода, но в практических приложениях даёт результаты лучше, чем существующие модели.
Сформулированы общесистемные требования, предъявляемые к моделям функционирования и правилам управления состояниями технических систем (ТС). Выявлены типовые особенности исходных описаний ТС, затрудняющие построение моделей. Предложена структурно-функциональная модель процессов управляемого поведения ТС в виде IDEF0 диаграммы, позволяющая наглядно представить и проанализировать закономерности их причинно-следственных связей с общесистемных позиций. Детализация свойств этой модели позволяет обосновать и разработать общесистемные методы формализации и структуризации фрагментарных вербальных описаний правил управления и функционирования ТС.
Реальное существование рынка происходит в условиях его сегментирования. Актуальной является задача поиска рациональных стратегий поведения, как поставщиков, так и потребителей на различных сегментах рынка с учетом большого числа факторов. В статье представлена модель типа 2×2×2, включающая двух поставщиков, двух потребителей, взаимодействующих на двух сегментах рынка. Рассмотрена задача поиска рациональной политики поведения поставщиков.
Событийно-управляемые программные системы в научной литературе относят к классу систем со сложным поведением, называемых реагирующими системами (reactive systems), то есть систем, которые на одно и то же входное воздействие реагируют по-разному в зависимости от своего состояния и предыстории. Такие системы удобно описывать с помощью автоматных моделей с использованием специальных языковых средств – как графических, так и текстовых. Представлена методика автоматизированного построения систем со сложным поведением с использованием разработанного авторами языка CIAO (Cooperative Interaction of Automata Objects), который позволяет на основе неформального описания реагирующей системы формально специфицировать требуемое поведение. Описание реагирующей системы может быть задано словесно на естественном языке или иным способом, принятым в конкретной предметной области. Далее по этой спецификации на языке CIAO специальным преобразователем генерируется программная система взаимодействующих автоматов на языке программирования С++. Сгенерированная программа реализует поведение, гарантированно соответствующее заданной спецификации и исходному неформальному описанию. Для языка CIAO предусмотрена как графическая, так и текстовая нотация. Графическая нотация основана на расширенной нотации диаграмм автомата и диаграмм компонентов унифицированного языка моделирования UML, которые хорошо зарекомендовали себя в описании поведения управляемых событиями систем. Текстовый синтаксис языка CIAO описан контекстно-свободной грамматикой в регулярной форме. Автоматически генерируемый код на языке С++ допускает использование как библиотечных, так и любых внешних функций, написанных вручную. При этом доказательное соответствие формальной спецификации и сгенерированного кода сохраняется при условии соответствия внешних функций своим спецификациям. В качестве примера предложено оригинальное решение задачи Д. Кнута о реагирующей системе управления лифтом. Продемонстрирована действенность предлагаемой методики, поскольку сам автомат-преобразователь, генерирующий код на С++, представлен как реагирующая система, специфицирован на языке CIAO и реализован методом раскрутки. Проведено сравнение предлагаемой методики с другими известными формальными методами описания систем со сложным поведением.
1 - 5 из 5 результатов